Interactive Programming Environment for ML
نویسندگان
چکیده
This paper presents our experiment in building a programming environment for ML. The approach is based on reusability. From existing compilers we derive some tools that assist users in developing ML programs. ML being a strongly typed language, its typechecking algorithm plays a central role. So we present some tools that show how to make use of type information in a programming environment. RRsumm : Ce papier prrsente le rrsultat de nos expriences sur la construction d'un en-vironnement de programmation pour le langage fonctionnel ML. Notre approche se fonde sur la rrutilisabilitt. Nous ddrivons de compilateurs ddjj existants des outils qui assistent l'utilisateur dans le ddveloppement de programmes ML. ML tant un langage fortement typ, son algorithme de typage y joue un rrle important. Ainsi nous proposons diiirents outils qui montrent comment les informations de typage peuvent tre utilisses dans un environnement de programmation.
منابع مشابه
Interactive multiple objective programming in optimization of the fully fuzzy quadratic programming problems
In this paper, a quadratic programming (FFQP) problem is considered in which all of the cost coefficients, constraints coefficients, and right hand side of the constraints are characterized by L-R fuzzy numbers. Through this paper, the concept of α- level of fuzzy numbers for the objective function, and the order relations on the fuzzy numbers for the constraints are considered. To optimize th...
متن کاملAn interactive weighted fuzzy goal programming technique to solve multi-objective reliability optimization problem
This paper presents an application of interactive fuzzy goal programming to the nonlinear multi-objective reliability optimization problem considering system reliability and cost of the system as objective functions. As the decision maker always have an intention to produce highly reliable system with minimum cost, therefore, we introduce the interactive method to design a high productivity sys...
متن کاملAutomatic assessment of elementary Standard ML programs using Ceilidh
Ceilidh is an interactive environment which supports computer programming course organisation, practical work and assessment. This paper describes its use to support a first level programming course for the functional language Standard ML. Automated program assessment systems are surveyed and the general Ceilidh approach to automatic assessment is discussed. Extensions to Ceilidh to assess Stan...
متن کاملA fuzzy random multi-objective approach for portfolio selection
In this paper, the portfolio selection problem is considered, where fuzziness and randomness appear simultaneously in optimization process. Since return and dividend play an important role in such problems, a new model is developed in a mixed environment by incorporating fuzzy random variable as multi-objective nonlinear model. Then a novel interactive approach is proposed to determine the pref...
متن کاملPOPLOG ' sTwo - level Virtuol Mochine Support for lnteroctive Longuoges
Poplog is a portable interactive AI development environment available on a "ur}g" of op""ating systems and machines. It includes incremental compilers for bommon Lisp, Pop-ll, Prolog and Standard ML, along with tools for adding new incremental compilers. All the languages share a common development environment and data structures can be shared between programs written in the different languages...
متن کامل